Deck reader: case-insensitive node names and .equiv pseudonyms by loom-fleet-dispatch[bot] · Pull Request #164 · 2AMLogic/fasterhenry

loom-fleet-dispatch · 2026-10-06T01:04:26Z

Closes #156

Part of #76.

Summary

Case-insensitive node names (all modes). Names keys every node name by its lowercase form, so N3 declared and n3 referenced are one node in every position: node declarations, in-plane node declarations (and contact equiv_rect/connection nodes), E endpoints, .external, .equiv. A case-only repeat (n1 then N1) is a line-numbered duplicate-definition error naming both spellings and the first line. Output choice: names are lowercased (the default <+>/<-> port label); an explicit .external label is a label, not a node name, and is kept as written. unknown node errors still quote the name as the deck wrote it.
.equiv pseudonyms (all modes, User's Guide §1.3.7). The first defined name in the list is canonical. Other defined names alias to it as before. Undefined names become pseudonyms for it wherever they stand in the list. If no name in the list is defined, the error is no defined node in .equiv. Declaring a node under a pseudonym's name is the duplicate error, which names the pseudonym's line. There are still no forward references for E endpoints and .external.
--fasthenry-compat only: .equiv naming one node twice (.equiv x x, or two names already joined) is a ParseWarning and a no-op, and the rest of the list is still joined. Natively it is still an error.
docs/fasthenry-compat.md: reversed the "Node/element names case-sensitive" row and added the rationale (guide §1.1/§1.3, the guide's own §1.2 N3 / .equiv nin n3 deck, and the change from a silent reinterpretation to an explicit duplicate error). Added rows for pseudonyms and for the compat self-equiv warning, and reworded the group= row (group names stay case-sensitive as this reader's own extension). Also updated the module docs, the ParseOptions/ParseWarning docs, the --fasthenry-compat help text and the CHANGELOG.

Tests (`fasterhenry-cli/src/inp.rs`)

node_names_are_case_insensitive_in_every_position: a mixed-case deck equals the lowercase one, and the port labels are checked.
in_plane_node_names_are_case_insensitive: in-plane nodes in mixed case, used as segment endpoints and in .equiv and .external.
case_only_duplicate_node_names_are_errors: plain and in-plane collisions, plus the exact-repeat message.
forward_node_references_are_errors
equiv_undefined_names_become_pseudonyms: alias first, last, middle and mixed-case, plus the guide's nin/n3 shape.
equiv_with_no_defined_node_is_an_error
defining_a_node_after_it_became_a_pseudonym_is_an_error
equiv_of_a_node_with_itself_warns_under_compat: native error, compat warning with deck equality, and a repeat inside a longer list.

Verification

cargo test -p fasterhenry-cli: 132 passed
cargo clippy --workspace --all-targets -- -D warnings: clean
cargo fmt --all -- --check: clean

Clean-room: implemented from the issue spec and the public User's Guide only. No FastHenry source or example decks were consulted.

🤖 Generated with Claude Code

^{Need help on this PR? Tag @codesmith-bot with what you need. Autofix is disabled.}

loom-fleet-dispatch · 2026-10-06T01:07:04Z

Code review completed for head 2b47666; no blocking code findings from inspection of the full diff and issue #156. Approval remains conditional on completed CI.

Verification:

git merge-tree --write-tree origin/main HEAD exited 0: merges without conflicts.
check-review-feedback.sh --number 164 --head-sha 2b47666f163c387ca5ffdd8478fbb27f70d7278c reported CLEAR, zero formal reviews and zero inline comments.
Test scoping: cargo test -p fasterhenry-cli selected for the changed CLI crate. Execution unavailable: timeout: failed to run command ‘cargo’: No such file or directory. The PR's 132-test, clippy and formatting results are builder-reported, not independently reproduced. No TDD declaration is present (advisory only).
gh pr checks 164, rechecked after a bounded 40-second wait: Rust jobs for Ubuntu, ARM and macOS remain pending; clean-room, dependency licenses, package dry-run and license bundle checks pass. No completed check failed.

Releasing loom:reviewing and keeping loom:review-requested for a fresh Judge pass after CI settles. No approval or changes-requested verdict is issued.

loom-fleet-dispatch · 2026-10-06T01:09:21Z

Judge pass: still carries a fresh loom:reviewing claim (claimed 2026-10-06T01:09:05Z, idle 26m) — standing down without reclaiming. Not stomping.

Stand-down passes against this claim: 7 of 3 before the bounded fallback force-reclaims it. This comment is edited in place on each pass rather than reposted (#5123, #6514).

loom-fleet-dispatch · 2026-10-06T01:39:42Z

Landing order recorded — this PR overlaps other open work

Planned by the merge-sequencing pass (#9686): this PR lands AFTER #162, because it changes files #162 also changes. Order within overlapping work is oldest-first; independent PRs are unaffected.

While the loom:sequenced label is present, merge-pr.sh refuses to merge this PR (the #9378 gate). The label clears mechanically when #162 lands at the recorded head — or by re-evaluation if it closes or moves. This is a scheduling preference: it suppresses only redundant base-conflict repairs while #162 is in flight, never a genuine review finding.

Automated by loom-daemon claim reconciliation (#9686, plan seq-50a92217)

loom-fleet-dispatch · 2026-10-06T01:39:49Z

✅ Approved!

Reviewed fasterhenry-cli/src/inp.rs (name-table rewrite, apply_equiv, tests), docs/fasthenry-compat.md, cli.rs help and CHANGELOG at head 2b47666.

Case folding: Names is keyed by node_key (ASCII lowercase) with a single lookup/define path, so declarations, in-plane nodes, E endpoints, .external and .equiv all agree. Duplicate errors name both spellings and the first line. An explicit .external label is kept as written.
.equiv: the first defined name is canonical and undefined names become pseudonyms pointing at its slot. lookup follows alias chains, so a later alias of the canonical node still resolves. No-defined-name and declare-after-pseudonym are line-numbered errors. The self-equiv case is a native error and a compat ParseWarning that keeps joining the rest of the list.
Tests: the eight new tests cover every position, in-plane nodes, case-only duplicates, forward references, pseudonym placement (first/middle/last/mixed case), and the compat/native split.
CI (gh pr checks): clean-room, cargo-deny, package, cargo-about and Rust on ubuntu, ubuntu-arm and macOS all pass; merge state CLEAN; check-review-feedback.sh → CLEAR.
Not re-run locally: the PR's stated test counts (132 passed, clippy/fmt clean) are from the author; I relied on CI for the same head rather than rebuilding on the shared worker.

PR description uses Closes #156 with Part of #76, which is correct.

loom dashboard

loom-fleet-dispatch · 2026-10-06T04:21:43Z

Champion: Cannot Auto-Merge

The live required-check freshness guard refused this PR because its classic branch-protection GraphQL lookup returned Resource not accessible by integration. Restore credential access before retrying. Keeping loom:pr; no guard bypassed.

Automated by Champion role

loom dashboard

loom-fleet-dispatch · 2026-10-06T06:06:55Z

Champion: Cannot Auto-Merge

Required-check freshness guard failed closed (exit 2): classic branch-protection lookup returned Resource not accessible by integration. CI passes; current authentication cannot verify freshness. No merge attempted.

Keeping loom:pr for re-evaluation.

Automated by Champion role

loom dashboard

loom-fleet-dispatch · 2026-10-06T06:20:43Z

Champion Auto-Merge

This PR meets all safety criteria for automatic merging:

Judge approved (loom:pr label)
Merge-risk judgment passed: the enumerable load-bearing changes are the node-name table and .equiv resolution in one parser module, with eight focused regression tests and a detailed function-level Judge review; no external state is written and the commit is fully revertable
Diff size: 504 lines (+471/-33) — informational, not a gate
No critical files modified
No merge conflicts
Updated recently (5 hours ago)
All CI checks passing

Proceeding with merge... If this was merged in error, you can revert with:
git revert -m 1 <merge-sha>

Automated by Champion role

loom dashboard

loom-fleet-dispatch · 2026-10-06T06:23:04Z

Landing order recorded — this PR overlaps other open work

Planned by the merge-sequencing pass (#9686): this PR lands AFTER #161, because it changes files #161 also changes. Order within overlapping work is oldest-first; independent PRs are unaffected.

While the loom:sequenced label is present, merge-pr.sh refuses to merge this PR (the #9378 gate). The label clears mechanically when #161 lands at the recorded head — or by re-evaluation if it closes or moves. This is a scheduling preference: it suppresses only redundant base-conflict repairs while #161 is in flight, never a genuine review finding.

Automated by loom-daemon claim reconciliation (#9686, plan seq-e1484931)

loom-fleet-dispatch · 2026-10-06T12:12:51Z

Champion Auto-Merge

This PR meets all safety criteria for automatic merging:

Judge approved (loom:pr; fresh verdict for 2b47666)
Merge-risk judgment passed: the load-bearing hunks are the parser name-key table and .equiv alias/pseudonym logic in one module; the Judge traced those exact paths and edge cases, CI covers the focused tests, the change writes no external state, and revert fully restores prior behavior
Diff size: 504 lines (+471/-33) — informational, not a gate
No critical files modified (fresh paginated file-list check)
No merge conflicts
Updated recently
All CI checks passing

Proceeding with merge... If this was merged in error, revert with git revert -m 1 <merge-sha>.

Automated by Champion role

loom dashboard

loom-fleet-dispatch · 2026-10-06T12:13:13Z

Champion: Merge Failed

Auto-merge failed because the required-check freshness guard could not query branch protection (Resource not accessible by integration). The guard failed closed; nothing merged and loom:pr remains.

Restore the integration token's branch-protection read permission or perform an equivalent verified manual merge.

Automated by Champion role

loom dashboard

loom-fleet-dispatch · 2026-10-06T14:15:12Z

Champion Auto-Merge

Fresh approval covers current head. Full diff read: Names/node_key centralize case folding and duplicate diagnostics; apply_equiv adds pseudonyms and compat self-join warnings; default labels fold while explicit labels persist. Regression tests cover every name position and alias/error cases. Four axes pass: changes confined to deck parsing plus docs/help, detailed Judge inspection backed by green CI, fully revertible. Fresh complete file list has no critical paths; MERGEABLE, real activity within 24h; seven checks pass, codesmith skips.

Proceeding through the guarded merge script.

Automated by Champion role

loom dashboard

loom-fleet-dispatch · 2026-10-06T14:15:36Z

Champion: Merge Failed

Guarded merge exited 1: required-check freshness lookup returned Resource not accessible by integration. Nothing merged; keeping loom:pr. Restore branch-protection read permission before retrying.

Automated by Champion role

loom dashboard

loom-fleet-dispatch · 2026-10-06T20:57:07Z

Champion Auto-Merge

Current-head approval is fresh. Read the parser change and regression coverage: behavior is confined to deck parsing, the Judge review names the affected functions and CI verification, and a revert fully undoes the change. All four risk axes pass, with no prior risk hold. Fresh paginated file inspection passed the critical-file loop. The PR is MERGEABLE, real activity is within 24 hours, and seven CI checks pass with the optional check skipped.

Proceeding through the guarded merge script.

Automated by Champion role

loom dashboard

loom-fleet-dispatch · 2026-10-06T20:57:12Z

Champion: Merge Failed

Guarded merge exited 1: the required-check freshness lookup returned Resource not accessible by integration. The daemon also lacks merge-pr chain-lock. Nothing merged; loom:pr remains. Restore branch-protection read access and a compatible daemon before retrying.

Automated by Champion role

loom dashboard

loom-fleet-dispatch · 2026-10-07T06:25:12Z

Champion: PR Is Stale

Not updated within the recency window (24h) — routed out of the auto-merge queue for a rebase/refresh.

Next steps:

Rebase onto the latest main and resolve any drift
Re-request Judge review to return it to the auto-merge queue

Automated by Champion role

loom dashboard

loom-fleet-dispatch · 2026-10-07T06:38:28Z

Verdict anchored to the current head — no marker had been recorded

This PR carries loom:changes-requested, but no verdict-SHA marker was ever written for that verdict, so it was unverifiable: nothing could tell whether it still described the tree in front of it, and it would have survived a force-push undetected — the exact pre-#5686 hazard.

This comment records the head SHA as of now, 2b47666f163c387ca5ffdd8478fbb27f70d7278c. It is not a review and implies no judgment about this tree: the loom:changes-requested label is unchanged. From here on the verdict is invalidatable — if the head moves off 2b47666f163c387ca5ffdd8478fbb27f70d7278c, the stale-verdict pass clears loom:changes-requested and returns the PR to loom:review-requested.

Anchoring bounds future exposure; it cannot reconstruct which tree was actually reviewed. If the head already moved before this comment, treat the verdict with corresponding suspicion.

Automated by loom-daemon claim reconciliation (#6319)

loom-fleet-dispatch · 2026-10-15T19:07:31Z

PR #164's (no label: the lease is the claim) claim is held by the champion of sweep step-champion_merge-164-1792091248 on host host-97b68aab. This comment is a PR lease record (#9401): its liveness signal is its own forge-assigned updated_at, renewed while the champion works and released when it is done. Another champion that finds this lease live stands down before touching a worktree. See defaults/docs/lease-record.md § "PR-phase leases".

loom-fleet-dispatch · 2026-10-15T19:10:17Z

PR #164's (no label: the lease is the claim) claim is held by the champion of sweep step-champion_merge-164-1792091414 on host host-d0749b00. This comment is a PR lease record (#9401): its liveness signal is its own forge-assigned updated_at, renewed while the champion works and released when it is done. Another champion that finds this lease live stands down before touching a worktree. See defaults/docs/lease-record.md § "PR-phase leases".

loom-fleet-dispatch · 2026-10-15T19:12:46Z

PR #164's (no label: the lease is the claim) claim is held by the champion of sweep step-champion_merge-164-1792091563 on host host-6d9efa8b. This comment is a PR lease record (#9401): its liveness signal is its own forge-assigned updated_at, renewed while the champion works and released when it is done. Another champion that finds this lease live stands down before touching a worktree. See defaults/docs/lease-record.md § "PR-phase leases".

loom-fleet-dispatch · 2026-10-15T19:16:53Z

PR #164's (no label: the lease is the claim) claim is held by the champion of sweep step-champion_merge-164-1792091810 on host host-a6032f0c. This comment is a PR lease record (#9401): its liveness signal is its own forge-assigned updated_at, renewed while the champion works and released when it is done. Another champion that finds this lease live stands down before touching a worktree. See defaults/docs/lease-record.md § "PR-phase leases".

loom-fleet-dispatch · 2026-10-15T19:18:55Z

PR #164's (no label: the lease is the claim) claim is held by the champion of sweep step-champion_merge-164-1792091933 on host host-a6032f0c. This comment is a PR lease record (#9401): its liveness signal is its own forge-assigned updated_at, renewed while the champion works and released when it is done. Another champion that finds this lease live stands down before touching a worktree. See defaults/docs/lease-record.md § "PR-phase leases".

loom-fleet-dispatch · 2026-10-15T19:22:55Z

PR #164's (no label: the lease is the claim) claim is held by the champion of sweep step-champion_merge-164-1792092173 on host host-7ec0fa4c. This comment is a PR lease record (#9401): its liveness signal is its own forge-assigned updated_at, renewed while the champion works and released when it is done. Another champion that finds this lease live stands down before touching a worktree. See defaults/docs/lease-record.md § "PR-phase leases".

loom-fleet-dispatch · 2026-10-15T19:22:56Z

PR #164's (no label: the lease is the claim) claim is held by the champion of sweep step-champion_merge-164-1792092166 on host host-34209a6e. This comment is a PR lease record (#9401): its liveness signal is its own forge-assigned updated_at, renewed while the champion works and released when it is done. Another champion that finds this lease live stands down before touching a worktree. See defaults/docs/lease-record.md § "PR-phase leases".

loom-fleet-dispatch · 2026-10-15T19:22:59Z

This champion's PR lease (sweep step-champion_merge-164-1792092166, host host-34209a6e) was not the earliest live champion lease on this PR: sweep step-champion_merge-164-1792092173 on host host-7ec0fa4c has an earlier forge-assigned comment id. Standing down before touching a worktree or the (no label: the lease is the claim) label (#9401, claim-then-verify-order #6287).

loom-fleet-dispatch · 2026-10-15T19:28:10Z

PR #164's (no label: the lease is the claim) claim is held by the champion of sweep step-champion_merge-164-1792092487 on host host-7ec0fa4c. This comment is a PR lease record (#9401): its liveness signal is its own forge-assigned updated_at, renewed while the champion works and released when it is done. Another champion that finds this lease live stands down before touching a worktree. See defaults/docs/lease-record.md § "PR-phase leases".

loom-fleet-dispatch · 2026-10-15T19:50:43Z

PR #164's (no label: the lease is the claim) claim is held by the champion of sweep step-champion_merge-164-1792093840 on host host-6d9efa8b. This comment is a PR lease record (#9401): its liveness signal is its own forge-assigned updated_at, renewed while the champion works and released when it is done. Another champion that finds this lease live stands down before touching a worktree. See defaults/docs/lease-record.md § "PR-phase leases".

loom-fleet-dispatch · 2026-10-15T19:54:20Z

PR #164's (no label: the lease is the claim) claim is held by the champion of sweep step-champion_merge-164-1792094057 on host host-a6032f0c. This comment is a PR lease record (#9401): its liveness signal is its own forge-assigned updated_at, renewed while the champion works and released when it is done. Another champion that finds this lease live stands down before touching a worktree. See defaults/docs/lease-record.md § "PR-phase leases".

loom-fleet-dispatch · 2026-10-15T19:56:25Z

PR #164's (no label: the lease is the claim) claim is held by the champion of sweep step-champion_merge-164-1792094182 on host host-d0749b00. This comment is a PR lease record (#9401): its liveness signal is its own forge-assigned updated_at, renewed while the champion works and released when it is done. Another champion that finds this lease live stands down before touching a worktree. See defaults/docs/lease-record.md § "PR-phase leases".

loom-fleet-dispatch · 2026-10-15T20:01:56Z

PR #164's (no label: the lease is the claim) claim is held by the champion of sweep step-champion_merge-164-1792094513 on host host-6d9efa8b. This comment is a PR lease record (#9401): its liveness signal is its own forge-assigned updated_at, renewed while the champion works and released when it is done. Another champion that finds this lease live stands down before touching a worktree. See defaults/docs/lease-record.md § "PR-phase leases".

loom-fleet-dispatch · 2026-10-15T20:04:02Z

PR #164's (no label: the lease is the claim) claim is held by the champion of sweep step-champion_merge-164-1792094640 on host host-e1d4c843. This comment is a PR lease record (#9401): its liveness signal is its own forge-assigned updated_at, renewed while the champion works and released when it is done. Another champion that finds this lease live stands down before touching a worktree. See defaults/docs/lease-record.md § "PR-phase leases".

loom-fleet-dispatch · 2026-10-15T20:05:51Z

PR #164's (no label: the lease is the claim) claim is held by the champion of sweep step-champion_merge-164-1792094748 on host host-d0749b00. This comment is a PR lease record (#9401): its liveness signal is its own forge-assigned updated_at, renewed while the champion works and released when it is done. Another champion that finds this lease live stands down before touching a worktree. See defaults/docs/lease-record.md § "PR-phase leases".

loom-fleet-dispatch · 2026-10-15T20:06:55Z

Champion: Cannot Auto-Merge

Cannot auto-merge:

Merge Conflict Check: PR is CONFLICTING (mergeStateStatus DIRTY) against main at head a1610ff. Judge approval is fresh for this head and CI is green, so conflicts are the only blocker.

Next steps:

Rebase or merge main into the branch and resolve the conflicts.
Push; the push invalidates the current approval, so Judge will re-review the new head.

Keeping loom:pr label. Champion will retry on the next tick once the blocking condition clears.

Automated by Champion role

loom dashboard

loom-fleet-dispatch · 2026-10-15T20:08:42Z

PR #164's (no label: the lease is the claim) claim is held by the champion of sweep step-champion_merge-164-1792094919 on host host-a6032f0c. This comment is a PR lease record (#9401): its liveness signal is its own forge-assigned updated_at, renewed while the champion works and released when it is done. Another champion that finds this lease live stands down before touching a worktree. See defaults/docs/lease-record.md § "PR-phase leases".

loom-fleet-dispatch · 2026-10-15T20:17:29Z

PR #164's (no label: the lease is the claim) claim is held by the champion of sweep step-champion_merge-164-1792095446 on host host-d0749b00. This comment is a PR lease record (#9401): its liveness signal is its own forge-assigned updated_at, renewed while the champion works and released when it is done. Another champion that finds this lease live stands down before touching a worktree. See defaults/docs/lease-record.md § "PR-phase leases".

loom-fleet-dispatch · 2026-10-15T20:20:19Z

PR #164's (no label: the lease is the claim) claim is held by the champion of sweep step-champion_merge-164-1792095616 on host host-6d9efa8b. This comment is a PR lease record (#9401): its liveness signal is its own forge-assigned updated_at, renewed while the champion works and released when it is done. Another champion that finds this lease live stands down before touching a worktree. See defaults/docs/lease-record.md § "PR-phase leases".

loom-fleet-dispatch · 2026-10-15T20:22:06Z

PR #164's (no label: the lease is the claim) claim is held by the champion of sweep step-champion_merge-164-1792095723 on host host-97b68aab. This comment is a PR lease record (#9401): its liveness signal is its own forge-assigned updated_at, renewed while the champion works and released when it is done. Another champion that finds this lease live stands down before touching a worktree. See defaults/docs/lease-record.md § "PR-phase leases".

loom-fleet-dispatch · 2026-10-15T20:25:25Z

PR #164's (no label: the lease is the claim) claim is held by the champion of sweep step-champion_merge-164-1792095923 on host host-a6032f0c. This comment is a PR lease record (#9401): its liveness signal is its own forge-assigned updated_at, renewed while the champion works and released when it is done. Another champion that finds this lease live stands down before touching a worktree. See defaults/docs/lease-record.md § "PR-phase leases".

loom-fleet-dispatch · 2026-10-15T20:32:47Z

PR #164's (no label: the lease is the claim) claim is held by the champion of sweep step-champion_merge-164-1792096365 on host host-97b68aab. This comment is a PR lease record (#9401): its liveness signal is its own forge-assigned updated_at, renewed while the champion works and released when it is done. Another champion that finds this lease live stands down before touching a worktree. See defaults/docs/lease-record.md § "PR-phase leases".

loom-fleet-dispatch · 2026-10-15T20:35:16Z

PR #164's (no label: the lease is the claim) claim is held by the champion of sweep step-champion_merge-164-1792096506 on host host-34209a6e. This comment is a PR lease record (#9401): its liveness signal is its own forge-assigned updated_at, renewed while the champion works and released when it is done. Another champion that finds this lease live stands down before touching a worktree. See defaults/docs/lease-record.md § "PR-phase leases".

loom-fleet-dispatch · 2026-10-15T20:40:28Z

PR #164's (no label: the lease is the claim) claim is held by the champion of sweep step-champion_merge-164-1792096826 on host host-97b68aab. This comment is a PR lease record (#9401): its liveness signal is its own forge-assigned updated_at, renewed while the champion works and released when it is done. Another champion that finds this lease live stands down before touching a worktree. See defaults/docs/lease-record.md § "PR-phase leases".

loom-fleet-dispatch · 2026-10-15T21:00:28Z

PR #164's (no label: the lease is the claim) claim is held by the champion of sweep step-champion_merge-164-1792098026 on host host-e1d4c843. This comment is a PR lease record (#9401): its liveness signal is its own forge-assigned updated_at, renewed while the champion works and released when it is done. Another champion that finds this lease live stands down before touching a worktree. See defaults/docs/lease-record.md § "PR-phase leases".

loom-fleet-dispatch · 2026-10-15T21:04:42Z

PR #164's (no label: the lease is the claim) claim is held by the champion of sweep step-champion_merge-164-1792098276 on host host-34209a6e. This comment is a PR lease record (#9401): its liveness signal is its own forge-assigned updated_at, renewed while the champion works and released when it is done. Another champion that finds this lease live stands down before touching a worktree. See defaults/docs/lease-record.md § "PR-phase leases".

loom-fleet-dispatch · 2026-10-15T21:06:49Z

PR #164's (no label: the lease is the claim) claim is held by the champion of sweep step-champion_merge-164-1792098407 on host host-e1d4c843. This comment is a PR lease record (#9401): its liveness signal is its own forge-assigned updated_at, renewed while the champion works and released when it is done. Another champion that finds this lease live stands down before touching a worktree. See defaults/docs/lease-record.md § "PR-phase leases".

loom-fleet-dispatch · 2026-10-15T21:24:11Z

PR #164's (no label: the lease is the claim) claim is held by the champion of sweep step-champion_merge-164-1792099448 on host host-7ec0fa4c. This comment is a PR lease record (#9401): its liveness signal is its own forge-assigned updated_at, renewed while the champion works and released when it is done. Another champion that finds this lease live stands down before touching a worktree. See defaults/docs/lease-record.md § "PR-phase leases".

loom-fleet-dispatch · 2026-10-15T21:32:31Z

PR #164's (no label: the lease is the claim) claim is held by the champion of sweep step-champion_merge-164-1792099949 on host host-7ec0fa4c. This comment is a PR lease record (#9401): its liveness signal is its own forge-assigned updated_at, renewed while the champion works and released when it is done. Another champion that finds this lease live stands down before touching a worktree. See defaults/docs/lease-record.md § "PR-phase leases".

loom-fleet-dispatch · 2026-10-15T21:38:19Z

PR #164's (no label: the lease is the claim) claim is held by the champion of sweep step-champion_merge-164-1792100297 on host host-7ec0fa4c. This comment is a PR lease record (#9401): its liveness signal is its own forge-assigned updated_at, renewed while the champion works and released when it is done. Another champion that finds this lease live stands down before touching a worktree. See defaults/docs/lease-record.md § "PR-phase leases".

loom-fleet-dispatch Bot added loom:review-requested PR ready for Judge to review. Applied by: Builder when opening PR. loom:reviewing Judge is reviewing this PR. Applied by: Judge only. Stale after LOOM_STALE_REVIEWING_MINUTES (30m). labels Oct 6, 2026

loom-fleet-dispatch Bot added loom:reviewing Judge is reviewing this PR. Applied by: Judge only. Stale after LOOM_STALE_REVIEWING_MINUTES (30m). and removed loom:reviewing Judge is reviewing this PR. Applied by: Judge only. Stale after LOOM_STALE_REVIEWING_MINUTES (30m). labels Oct 6, 2026

loom-fleet-dispatch Bot mentioned this pull request Oct 6, 2026

Deck reader: case-insensitive node names and .equiv pseudonyms (documented) #156

Open

12 tasks

loom-fleet-dispatch Bot mentioned this pull request Oct 7, 2026

Compat: clamp a contact cell at or above the rectangle width to 0.99x width #152

Merged

3 tasks done

loom-fleet-dispatch Bot added loom:changes-requested PR requires changes before re-review (Judge requested modifications). Applied by: Judge. and removed loom:pr PR approved by Judge, ready for Champion auto-merge. Applied by: Judge. labels Oct 7, 2026

loom-fleet-dispatch Bot added the loom:treating Doctor is fixing this bug or PR. Applied by: Doctor. Stale after LOOM_STALE_TREATING_MINUTES (60m). label Oct 7, 2026

Conversation

loom-fleet-dispatch Bot commented Oct 6, 2026 • edited by blacksmith-sh Bot Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Summary

Tests (fasterhenry-cli/src/inp.rs)

Verification

Uh oh!

loom-fleet-dispatch Bot commented Oct 6, 2026

Uh oh!

loom-fleet-dispatch Bot commented Oct 6, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

loom-fleet-dispatch Bot commented Oct 6, 2026

Uh oh!

loom-fleet-dispatch Bot commented Oct 6, 2026

Uh oh!

loom-fleet-dispatch Bot commented Oct 6, 2026

Uh oh!

loom-fleet-dispatch Bot commented Oct 6, 2026

Uh oh!

loom-fleet-dispatch Bot commented Oct 6, 2026

Uh oh!

loom-fleet-dispatch Bot commented Oct 6, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

loom-fleet-dispatch Bot commented Oct 6, 2026

Uh oh!

loom-fleet-dispatch Bot commented Oct 6, 2026

Uh oh!

loom-fleet-dispatch Bot commented Oct 6, 2026

Uh oh!

loom-fleet-dispatch Bot commented Oct 6, 2026

Uh oh!

loom-fleet-dispatch Bot commented Oct 6, 2026

Uh oh!

loom-fleet-dispatch Bot commented Oct 6, 2026

Uh oh!

loom-fleet-dispatch Bot commented Oct 7, 2026

Uh oh!

loom-fleet-dispatch Bot commented Oct 7, 2026

Uh oh!

loom-fleet-dispatch Bot commented Oct 15, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

loom-fleet-dispatch Bot commented Oct 15, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

loom-fleet-dispatch Bot commented Oct 15, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

loom-fleet-dispatch Bot commented Oct 15, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

loom-fleet-dispatch Bot commented Oct 15, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

loom-fleet-dispatch Bot commented Oct 15, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

loom-fleet-dispatch Bot commented Oct 15, 2026

Uh oh!

loom-fleet-dispatch Bot commented Oct 15, 2026

Uh oh!

loom-fleet-dispatch Bot commented Oct 15, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

loom-fleet-dispatch Bot commented Oct 15, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

loom-fleet-dispatch Bot commented Oct 15, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

loom-fleet-dispatch Bot commented Oct 15, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

loom-fleet-dispatch Bot commented Oct 15, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

loom-fleet-dispatch Bot commented Oct 15, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

loom-fleet-dispatch Bot commented Oct 6, 2026 •

edited by blacksmith-sh Bot

Loading

Tests (`fasterhenry-cli/src/inp.rs`)

loom-fleet-dispatch Bot commented Oct 6, 2026 •

edited

Loading

loom-fleet-dispatch Bot commented Oct 6, 2026 •

edited

Loading

loom-fleet-dispatch Bot commented Oct 15, 2026 •

edited

Loading

loom-fleet-dispatch Bot commented Oct 15, 2026 •

edited

Loading

loom-fleet-dispatch Bot commented Oct 15, 2026 •

edited

Loading

loom-fleet-dispatch Bot commented Oct 15, 2026 •

edited

Loading

loom-fleet-dispatch Bot commented Oct 15, 2026 •

edited

Loading

loom-fleet-dispatch Bot commented Oct 15, 2026 •

edited

Loading

loom-fleet-dispatch Bot commented Oct 15, 2026 •

edited

Loading

loom-fleet-dispatch Bot commented Oct 15, 2026 •

edited

Loading

loom-fleet-dispatch Bot commented Oct 15, 2026 •

edited

Loading

loom-fleet-dispatch Bot commented Oct 15, 2026 •

edited

Loading

loom-fleet-dispatch Bot commented Oct 15, 2026 •

edited

Loading

loom-fleet-dispatch Bot commented Oct 15, 2026 •

edited

Loading

loom-fleet-dispatch Bot commented Oct 15, 2026 •

edited

Loading

loom-fleet-dispatch Bot commented Oct 15, 2026 •

edited

Loading

loom-fleet-dispatch Bot commented Oct 15, 2026 •

edited

Loading

loom-fleet-dispatch Bot commented Oct 15, 2026 •

edited

Loading

loom-fleet-dispatch Bot commented Oct 15, 2026 •

edited

Loading

loom-fleet-dispatch Bot commented Oct 15, 2026 •

edited

Loading

loom-fleet-dispatch Bot commented Oct 15, 2026 •

edited

Loading

loom-fleet-dispatch Bot commented Oct 15, 2026 •

edited

Loading

loom-fleet-dispatch Bot commented Oct 15, 2026 •

edited

Loading

loom-fleet-dispatch Bot commented Oct 15, 2026 •

edited

Loading

loom-fleet-dispatch Bot commented Oct 15, 2026 •

edited

Loading

loom-fleet-dispatch Bot commented Oct 15, 2026 •

edited

Loading

loom-fleet-dispatch Bot commented Oct 15, 2026 •

edited

Loading

loom-fleet-dispatch Bot commented Oct 15, 2026 •

edited

Loading

loom-fleet-dispatch Bot commented Oct 15, 2026 •

edited

Loading